#pragma once
#include "PDTExp.h"

class PDTExpNumBin : public PDTExpNum{
public:
	virtual void setLeft(PDTExpNum &left);
	virtual void setRight(PDTExpNum &right);
	virtual PDTExpNum * getLeft();
	virtual PDTExpNum * getRight();
	PDTExpNumBin(PDTCodeGraph & CG);
	PDTExpNumBin(PDTCodeGraph & CG,PDTExpNum &left,PDTExpNum & riSght);
	NodeTypeEnum getType(){return PDTExpNumBin_Em;}

    void
        Z3NodeVisitHelper(PDTZ3Visitor & ZV, Z3_ast * args);


};
